Epistemic Games in Modal Logic: Joint Actions, Knowledge and Preferences all together
نویسندگان
چکیده
We present in this work a sound and complete modal logic called EDLA (Epistemic Dynamic Logic of Agency) integrating the concepts of joint action, preference and knowledge and enabling to reason about epistemic games in strategic form. We provide complexity results for EDLA. In the second part of the paper, we study in EDLA the epistemic and rationality conditions of some classical solution concepts like Nash equilibrium and Iterated Deletion of Strictly Dominated Strategies (IDSDS). In the last part of the paper we combine EDLAwith Dynamic Epistemic Logic (DEL) in order to model epistemic game dynamics.
منابع مشابه
Coalitional Public Announcement Games
Dynamic epistemic logic (DEL) is a popular framework for studying interaction in multi-agent systems. DELs describe the actions available to the agents, and their epistemic preand post-conditions. By extending standard epistemic models with preferences over epistemic states, we can say something about rational behaviour as well, combining logic and game theory. In this paper we assume that pref...
متن کاملA Modal Logic of Epistemic Games
We propose some variants of a multi-modal logic of joint action, preference and knowledge that support reasoning about epistemic games in strategic form. The first part of the paper deals with games with complete information. We first provide syntactic proofs of some theorems that are well-known in the area of interactive epistemology and that specify some sufficient epistemic conditions of equ...
متن کاملWhat will they say? – Public Announcement Games
Dynamic epistemic logic describes the possible information-changing actions available to individual agents, and their knowledge preand post conditions. For example, public announcement logic describes actions in the form of public, truthful announcements. However, little research so far has considered describing and analysing rational choice between such actions, i.e., predicting what rational ...
متن کاملReasoning about Epistemic Actions and Knowledge in Multi-agent Systems using Coq
In this paper we outline a formal system for reasoning about agents’ knowledge in knowledge games a special type of multi-agent system. Knowledge games are card games where the agents’ actions involve an exchange of information with other agents in the game. Our system is modeled using Coq a formal proof management system. To the best of our knowledge, there are no papers in which knowledge gam...
متن کاملProject Report KNOWLEDGE IN DIFFERENT SYSTEMS OF MODAL LOGIC 15-816 Modal Logic
Modal logic is used by game theorists in the form of epistemic modal logic, where the operator is interpreted as a knowledge operator. This is useful because it allows the knowledge of players in games to be formalized and included in models of games. Then outcomes can be characterized by this knowledge, leading to theorems of the form “in games of type x, if all players have knowledge y, then ...
متن کامل